linear algebra proof of inverse